Subtype polymorphism - PDFSEARCH.IO - Document Search Engine

Subtype polymorphism
Results: 217

#	Item
61	On Decidability of Nominal Subtyping with Variance Andrew J. Kennedy Benjamin C. Pierce Microsoft Research Cambridge Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2006-12-22 07:18:48 Computing Computer programming Data types Polymorphism Subtype polymorphism Type system Bounded quantification Inheritance Covariance and contravariance Software engineering Object-oriented programming Type theory
62	Microsoft Word - hw2_dw _4_.docx Add to Reading List Source URL: sunset.usc.edu Language: English - Date: 2010-03-02 13:52:45 Object-oriented programming Computing Polymorphism Variables Subtype polymorphism Software engineering Data types Type theory
63	Semantic Foundations for Typed Assembly Languages AMAL AHMED, ANDREW W. APPEL, CHRISTOPHER D. RICHARDS, KEDAR N. SWADI, GANG TAN, and DANIEL C. WANG Princeton University Add to Reading List Source URL: www.cs.princeton.edu Language: English - Date: 2009-06-25 20:03:38 Data types Type theory Object-oriented programming Model theory C++ Type safety Type system Denotational semantics Subtype polymorphism Software engineering Computing Programming language theory
64	Functional Java Bytecode Christopher League Valery Trifonov Zhong Shao Yale University Add to Reading List Source URL: contrapunctus.net Language: English - Date: 2012-03-13 13:00:13 Data types Java programming language Cross-platform software Java virtual machine Java bytecode Lambda calculus Javac Type system Subtype polymorphism Computing Software Type theory
65	Data Abstraction and Hierarchy * This research was supported by the NEC Professorship of Software Science and Engineering. Barbara Liskov Affiliation: MIT Laboratory for Computer Science Cambridge, MA , 02139 Add to Reading List Source URL: rendezvouswithdestiny.net Language: English - Date: 2010-04-26 20:16:25 Computing Data types Type theory Programming paradigms Abstraction Data management Inheritance Subtype polymorphism Smalltalk Software engineering Object-oriented programming Computer programming
66	TIE: Principled Reverse Engineering of Types in Binary Programs JongHyup Lee, Thanassis Avgerinos, and David Brumley Carnegie Mellon University {jonglee, thanassis, dbrumley}@cmu.edu Abstract Add to Reading List Source URL: users.ece.cmu.edu Language: English - Date: 2014-05-29 15:38:01 Computing Programming language theory Decompiler Type system Type inference Subtype polymorphism MOV Pointer Assembly language Software engineering Type theory Data types
67	Soft Interfaces: Typing Scheme at the Module Level Martin Gasbichler Holger Gast Wilhelm-Schickard-Institut f Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:06:09 Programming language theory Type system Subtype polymorphism System F Polymorphism Type inference Type safety Interface Hindley–Milner Software engineering Type theory Computing
68	TIE: Principled Reverse Engineering of Types in Binary Programs JongHyup Lee, Thanassis Avgerinos, and David Brumley Carnegie Mellon University {jonglee, thanassis, dbrumley}@cmu.edu Abstract Add to Reading List Source URL: www.isoc.org Language: English - Date: 2011-05-09 09:06:43 Computing Programming language theory Decompiler Type system Type inference Pointer Subtype polymorphism Assembly language MOV Software engineering Type theory Data types
69	A Contracts for First-Class Classes T. STEPHEN STRICKLAND, CHRISTOS DIMOULAS, ASUMU TAKIKAWA, and MATTHIAS FELLEISEN, Northeastern University, Boston, MA[removed]First-class classes enable programmers to abstract over pat Add to Reading List Source URL: www.ccs.neu.edu Language: English - Date: 2015-03-24 18:44:54 Object-oriented programming Racket Design by contract Stack Eiffel Java Subtype polymorphism Constructor Matthias Felleisen Software engineering Computing Computer programming
70	The Checker Framework Manual: Custom pluggable types for Java http://checkerframework.org/ Version[removed]Mar[removed]For the impatient: Section 1.3 (page 12) describes how to install and use pluggable type-checkers. Add to Reading List Source URL: types.cs.washington.edu Language: English - Date: 2015-04-18 02:31:35 Programming language theory Computing Program analysis Type system Type inference Subtype polymorphism Lint Annotation Type theory Data types Software engineering

UPDATE